退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:扩展加权下推系统
Akash Lal; Thomas Reps; Gogul Balakrishnan;
机译:基于扩展加权推动系统的信息基访问控制子集的正式验证
机译:欧米伽-代数系统的Greibach范式和加权的简单欧米伽-推下自动机
机译:加权下推系统及其在过程间数据流分析中的应用
机译:下推控制系统的可决策性和最佳性:一种离散事件控制的新方法。
机译:电子鼻系统混合气味分析的局部加权最近邻算法和加权约束最小二乘方法
机译:基于扩展加权下推系统的基于信息的访问控制子集的形式验证
机译:防止空中入侵或起飞的系统,例如在机场或监狱中-包括带有配重电缆的旋转轴,该配重电缆通过离心力自动延伸
机译:用于动态替换代码对象以进行代码下推的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。